|
||||
|
| ||||||||||||||||||||||
| 310,626 articles found for: pub-date > 1990 and pub-date < 2001 and computer science | previous page < results 1 - 100 > | |||
RSS Feed | ||||
| |
|
|||
|
![]() |
|
| The computer science education crisis: fact or illusion? Interacting with Computers, Volume 9, Issue 1, August 1997, Pages 27-45 Hyacinth S. Nwana | ||||
| Fashions and fundamentals in computer science education Education and Computing, Volume 7, Issues 1-2, 1991, Pages 97-103 Professor C.C. Gotlieb | ||||
| Software engineering and computer science: the impending split? Education and Computing, Volume 7, Issues 1-2, 1991, Pages 111-117 Norman E. Gibbs | ||||
| The computer revolution in science: steps towards the realization of computer-supported discovery environments Artificial Intelligence, Volume 91, Issue 2, April 1997, Pages 225-256 Hidde de Jong, Arie Rip | ||||
| Integration technology: The reinvention of the linkage between information systems and computer science Decision Support Systems, Volume 13, Issues 3-4, March 1995, Pages 373-380 Stuart E. Madnick | ||||
| Computer science in Dutch secondary education: independent or integrated? Education and Computing, Volume 8, Issue 3, July 1992, Pages 217-223 Pieter C. van der Sijde, B. Gerard Doornekamp | ||||
| Creating a design science of human-computer interaction Interacting with Computers, Volume 5, Issue 1, March 1993, Pages 3-12 John M Carroll | ||||
| Forensic science against computer crime in the United Kingdom Journal of the Forensic Science Society, Volume 32, Issue 1, January 1992, Pages 27-34 P.A. Collier, B.J. Spaul | ||||
| From computational science to Internetics: Integration of science with computer science Mathematics and Computers in Simulation, Volume 54, Issues 4-5, 15 December 2000, Pages 295-306 Geoffrey C. Fox | ||||
| Perspectives on computer science education Education and Computing, Volume 7, Issues 1-2, 1991, Pages 105-109 Niklaus Wirth | ||||
| : Architects of the Information Society: Thirty-Five Years of the Laboratory for Computer Science at MIT by Simson L. Garfinkel, edited by Hal Abelson Endeavour, Volume 24, Issue 2, 1 June 2000, Page 94 R. W. Seidel | ||||
| Computers in the Faculty of Health Science—5 years on International Journal of Medical Informatics, Volume 50, Issues 1-3, June 1998, Pages 133-137 A.C.Lynn Zelmer, S.M Stewart | ||||
| Computer science teachers' certification program Computers & Education, Volume 25, Issue 3, November 1995, Pages 163-168 Judith Gal-Ezer | ||||
| Computational mathematics and computer science Education and Computing, Volume 8, Issue 4, April 1993, Pages 331-337 R.F. Churchhouse | ||||
| Integration of computer security into the software engineering and computer science programs Journal of Systems and Software, Volume 49, Issues 2-3, 30 December 1999, Pages 149-153 Rayford B. Vaughn Jr., Julian E. Boggess III | ||||
| From constructivism to computer science Theoretical Computer Science, Volume 211, Issues 1-2, 28 January 1999, Pages 233-252 A. S. Troelstra | ||||
| Computers and the teaching of sociology and the policy sciences Computers & Education, Volume 19, Issues 1-2, July-August 1992, Pages 97-104 Duncan Timms | ||||
| Principles of human—computer collaboration for knowledge discovery in science Artificial Intelligence, Volume 107, Issue 2, February 1999, Pages 335-346 Raúl E. Valdés-Pérez | ||||
| Handbook of Theoretical Computer Science.
Volume A: Algorithms and Complexity. Volume B: Formal Models and
Semantics : Jan van Leeuwen, ed., (Elsevier, Amsterdam, Netherlands/The
MIT Press, Cambridge, MA, 1990) Science of Computer Programming, Volume 24, Issue 1, February 1995, Pages 97-99 Hrant. B. Marandjan | ||||
| Formal specification and design, Cambridge tracts in theoretical computer science : L.M.G. Feijs and H.B.M Jonkers, (Cambridge University Press, 1992) (hardback), ISBN 0-521-43457-2 Science of Computer Programming, Volume 24, Issue 2, April 1995, Pages 185-186 Horst Reichel | ||||
| Basic simple type theory : J. Roger Hindley, Cambridge Tracts in Theoretical Computer Science Vol. 42 (Cambridge University Press, 1997) ISBN 0 521 46518 4 Science of Computer Programming, Volume 32, Issues 1-3, September 1998, Pages 211-213 Nissim Francez | ||||
| An introduction to logic programming through prolog : Michael Spivey, Prentice Hall International Series in Computer Science, Englewood cliffs, NJ, 1996. ISBN 0-13-536047-1 Science of Computer Programming, Volume 33, Issue 2, February 1999, Pages 213-214 Sandro Etalle | ||||
| Mathematical Theory of Domains : V. Stoltenberg-Hansen, I. Lindström and E.R. Griffor, (Cambridge tracts in theoretical computer science 22, 1994) 349 pp., hardback Science of Computer Programming, Volume 31, Issues 2-3, July 1998, Pages 383-385 Alex Simpson | ||||
| Formalism in AI and computer science : P. Leith, (Prentice-Hall, Hemel Hempstead, United Kingdom, 1990), price £49.95 (hardback), ISBN 0-13-325549-2 Science of Computer Programming, Volume 17, Issues 1-3, December 1991, Pages 267-269 Grant Malcolm | ||||
| Basic proof theory : A.S. Troelstra and S. Schwichtenberg, (Cambridge University Press, 1996), Cambridge Tracts in Theoretical Computer Science 43, ISBN 0 521 57223 1 Science of Computer Programming, Volume 30, Issue 3, March 1998, Pages 339-342 Lev Gordeev | ||||
| Two-level functional languages, Cambridge tracts in computer science, vol. 34 : F. Nielson and H.R. Nielson, (Cambridge University Press, 1992) Science of Computer Programming, Volume 24, Issue 2, April 1995, Pages 186-187 E. Moggi | ||||
| Erratum to “Predicate transformers for reasoning about concurrent computation” : Science of computer Programming 24 (1995) 129–148 Science of Computer Programming, Volume 29, Issue 3, September 1997, Page 335 K. Mani Chandy, Beverly A. Sanders | ||||
| Predicate calculus and program semantics : Edsger W. Dijkstra and Carel S. Scholten, texts and monographs in computer science (Springer, Heidelberg, 1989), Price 78.00 DM (hardback), ISBN 3-540-96957-8 Science of Computer Programming, Volume 17, Issues 1-3, December 1991, Pages 259-262 Brian Monahan | ||||
| Attributional style as a predictor of success in a first computer science course Computers in Human Behavior, Volume 9, Issue 4, Winter 1993, Pages 341-352 John W. Henry, Mark J. Martinko, Margaret Anne Pierce | ||||
| Automatic submission in an evolutionary approach to computer science teaching Computers & Education, Volume 25, Issue 3, November 1995, Pages 105-111 Michael Luck, Mike Joy | ||||
| What are the perceived benefits of participating in a computer-mediated communication (CMC) environment for distance learning computer science students? Computers & Education, Volume 30, Issues 3-4, April-May 1998, Pages 259-269 Tina Wilson, Denise Whitelock | ||||
| Contents and abstracts of the electronic notes in Theoretical Computer Science
vol. 2 : Proceedings joint COMPUGRAPH/SEMAGRAPH workshop on graph
rewriting and computation (SEGRAGRA '95), Volterra, Pisa, Italy, 28
August–1 September 1995 Theoretical Computer Science, Volume 194, Issues 1-2, 10 March 1998, Pages 239-248 Andrea Corradini, Ugo Montanari | ||||
| The computer in the science curriculum International Journal of Educational Research, Volume 17, Issue 1, 1992, Pages 19-35 Margaret J. Cox | ||||
| Contents and abstracts of the electronic notes in theoretical computer science
vol. 4 : Proceedings First International Workshop on Rewriting Logic
and its Applications, Asilomar Conference Center, Pacific Grove, CA,
September 3–6, 1996 Theoretical Computer Science, Volume 201, Issues 1-2, 6 July 1998, Pages 291-297 José Meseguer | ||||
| Editorial on the Electronic Notes in Theoretical Computer Science Theoretical Computer Science, Volume 152, Issue 2, 25 December 1995, Page 321 Michael Mislove, Maurice Nivat, Christos Papadimitriou | ||||
| Computer science and biology—the German Conference on Bioinformatics (GCB'96) Biosystems, Volume 43, Issue 1, May 1997, Pages 69-71 R. Hofestaedt | ||||
| The new role of mathematical logic: A tool for computer science Information Sciences, Volumes 57-58, September-December 1991, Pages 23-29 Giuseppe Longo | ||||
| Fast recognition of deterministic cfl's with a smaller number of processors: Theoretical computer science 116 (2) (16 August 1993) 421–429 Theoretical Computer Science, Volume 123, Issue 2, 31 January 1994, Page 427 Burkhard Monien, Wojciech Rytter, Helmut Schäpers | ||||
| Why we should no longer only repair, polish and iron current computer science educations Education and Computing, Volume 8, Issue 4, April 1993, Pages 303-330 Josef Gruska | ||||
| Collaborative practice of science construction in a computer-based multimedia environment Computers & Education, Volume 30, Issues 1-2, January 1998, Pages 75-85 Kristiina Kumpulainen, Mika Mutanen | ||||
| The computer in social science curricula International Journal of Educational Research, Volume 17, Issue 1, 1992, Pages 51-63 Deryn M. Watson | ||||
| Experimental evaluation in computer science: A quantitative study Journal of Systems and Software, Volume 28, Issue 1, January 1995, Pages 9-18 Walter F. Tichy, Paul Lukowicz, Lutz Prechelt, Ernst A. Heinz | ||||
| Australian science agency's computer security deficient Computer Fraud & Security Bulletin, Volume 1994, Issue 8, August 1994, Page 4 Frank Rees | ||||
| Another view of computer science ethics: Patterns of responses among computer scientists Journal of Systems and Software, Volume 17, Issue 1, January 1992, Pages 49-60 Laura M. Leventhal, Keith E. Instone, David W. Chilson | ||||
| Governing the conduct of computing: computer science, the social sciences and framework of computing Accounting, Management and Information Technologies, Volume 7, Issue 4, October-December 1997, Pages 213-240 Richard Hull | ||||
| The acquisition of operating systems concepts by computer science students Computers & Education, Volume 19, Issue 3, October 1992, Pages 309-320 E. C. Anderssen, C. P. H. Myburgh | ||||
| A computer-based laboratory course in mathematical sciences Computers & Education, Volume 18, Issues 1-3, January-April 1992, Pages 135-141 Neil Pitcher | ||||
| The impact of model theory on theoretical computer science Studies in Logic and the Foundations of Mathematics, Volume 134, 1995, Pages 239-262 J.A. Makowsky | ||||
| The Schematic Structure of Computer Science Research Articles English for Specific Purposes, Volume 18, Issue 2, June 1999, Pages 139-160 Santiago Posteguillo | ||||
| Introductory education in computer science Education and Computing, Volume 7, Issues 1-2, 1991, Pages 73-86 A. Nico Habermann | ||||
| An overview of human-computer interaction Biochimie, Volume 75, Issue 5, 1993, Pages 321-329 M. Beaudouin-Lafon | ||||
| Excluding women from the technologies of the future? : A case study of the culture of computer science Futures, Volume 23, Issue 10, December 1991, Pages 1107-1119 Bente Rasmussen, Tove Håpnes | ||||
| Computer science, the informational, and Jewish mysticism Technology in Society, Volume 21, Issue 4, November 1999, Pages 363-371 Mitchell P. Marcus | ||||
| Topology, domain theory and theoretical computer science Topology and its Applications, Volume 89, Issues 1-2, 20 November 1998, Pages 3-59 Michael W. Mislove | ||||
| When Computer Technologies Meet the Learning Sciences: Issues and Opportunities Journal of Applied Developmental Psychology, Volume 21, Issue 1, January-February 2000, Pages 59-84 John Bransford, Sean Brophy, Susan Williams | ||||
| Blind and visually impaired people studying computer science and mathematics Journal of Microcomputer Applications, Volume 15, Issue 1, January 1992, Pages 65-72 B. Stöger | ||||
| Some aspects of categories in computer science Handbook of Algebra, Volume 2, 2000, Pages 3-77 P.J. Scott | ||||
| An attack detection systems for secure computer systems — Design of the ADS : I. Kantzavelou and A. Patel, Department of Computer Science, University College Dublin Belfired, Dublin, Ireland Computers & Security, Volume 15, Issue 5, 1996, Page 395 | ||||
| Computers at risk: Safe computing in the information age : Systems Security Study Committee, Computer Science
and Telecommunications Board, National Research Council National
Academy Press, 2101 Constitution Ave, NW, Washington, DC 20418 USA
$19.95 Computer Fraud & Security Bulletin, Volume 1991, Issue 12, December 1991, Pages 18-19 Peter Sommer | ||||
| HPCN96: General applications, computational and computer science Future Generation Computer Systems, Volume 12, Issue 5, April 1997, Pages 331-333 Peter Sloot, Heather Liddell | ||||
| Distributed registration and key distribution (DiRK) : R. Oppliger, University of Berne, Institute for Computer Science, Berne, Switzerland and Andres Albanese, International Computer Science Institute, Berkeley, CA Computers & Security, Volume 15, Issue 5, 1996, Pages 394-395 | ||||
| MoFAC: A model for fine-grained access control : J.S. von Solms, M.S. Olivier and S. H. von Solms, Department of Computer Science, Rand Afrikaans University, Johannesburg, South Africa Computers & Security, Volume 15, Issue 5, 1996, Page 395 | ||||
| Computer science
logo style. Volume 2: Advanced techniques. (Second edition) : By Brian
Harvey. MIT Press, Cambridge, MA. (1997). 324 pages. $85.00 (set of 3
books) Computers & Mathematics with Applications, Volume 34, Issue 10, November 1997, Page 134 | ||||
| Computer science
logo style. Volume 3: Beyond programming. (Second edition) : By Brian
Harvey. MIT Press, Cambridge, MA. (1997). 364 pages. $85.00 (set of 3
books) Computers & Mathematics with Applications, Volume 34, Issue 10, November 1997, Page 134 | ||||
| Computer science
logo style. Volume 1: Symbolic computing. (Second edition) : By Brian
Harvey. MIT Press, Cambridge, MA. (1997). 318 pages. $85.00 (set of 3
books) Computers & Mathematics with Applications, Volume 34, Issue 10, November 1997, Page 134 | ||||
| Theoretical studies in computer science : J.D. Ullman (ed.), Academic Press, Boston, MA, 1992. 339 pp., US$49.95, ISBN 0-1270-8240-9 Mathematics and Computers in Simulation, Volume 34, Issues 3-4, September 1992, Page 375 | ||||
| Selected papers on computer science
: Donald E. Knuth. CSLI Publications/Cambridge University
Press/Stanford, CA/Cambridge, U.K. (1996). 274 pages. $69.95
(hardback); $24.95 (paperback) Computers & Mathematics with Applications, Volume 33, Issue 5, March 1997, Page 132 | ||||
| Computing tomorrow: Future research directions in computer science : Edited by Ian Wand and Robin Milner. Cambridge University Press, Cambridge, U.K. (1996). 373 pages. $39.95 Computers & Mathematics with Applications, Volume 33, Issue 5, March 1997, Page 127 | ||||
| First conference on foundations of information science: From computers and quantum physics to cells, nervous systems, and societies Biosystems, Volume 38, Issues 2-3, 1996, Pages 87-96 Pedro C. Marijuán | ||||
| Architects of the information society: Thirty-five years of the laboratory for computer science at MIT : By Simson L. Garfinkel, edited by Hal Abelson. MIT Press, Cambridge, MA. (1999). 72 pages. $20.00 Computers & Mathematics with Applications, Volume 39, Issues 7-8, April 2000, Pages 264-265 | ||||
| Remedial classroom teaching and computer-assisted learning with science students in Botswana International Journal of Educational Development, Volume 16, Issue 2, April 1996, Pages 147-156 C. P. Smit, M. Oosterhout, P. F. J. Wolff | ||||
| Relational methods in computer science Information Sciences, Volume 119, Issues 3-4, 2 October 1999, Pages 131-133 Ali Jaoua, Gunther Schmidt | ||||
| Simply scheme: Introducing computer science, Second edition : By Brian Harvey and Matthew Wright. MIT Press, Cambridge, MA. (1999). 579 pages. $60.00 Computers & Mathematics with Applications, Volume 39, Issues 3-4, February 2000, Page 266 | ||||
| Applications of continuous mathematics to computer science
: By Hung T. Nguyen and Vladik Kreinovich. Kluwer Academic Publishers,
Dordrecht. (1997). 419 pages. $199.00, NLG 340.00, GBP 122.00 Computers & Mathematics with Applications, Volume 36, Issue 3, August 1998, Page 130 | ||||
| Cell molecular computers and biological information as the foundation of nature's laws Biosystems, Volume 38, Issues 2-3, 1996, Pages 173-177 E. A. Liberman, S. V. Minina | ||||
| Architects of the information society: Thirty-five years of the laboratory for computer science at MIT : By Simson L. Garfinkel, edited by Hal Abelson. MIT Press, Cambridge, MA. (1999). 72 pages. $20.00 Computers & Mathematics with Applications, Volume 39, Issues 3-4, February 2000, Page 263 | ||||
| IT security and privacy education : L. Yngstrom, Department of Computer and Systems Sciences, Stockholm University and Royal Institute of Technology, Kista, Sweden Computers & Security, Volume 15, Issue 5, 1996, Pages 395-396 | ||||
| LOGIC – A foundation for computer science : V. Sperschneider and G. Antoniou, Addison-Wesley, Reading, MA, 1991. 495 pp., US$34.50, ISBN 0-201-56514-5. Mathematics and Computers in Simulation, Volume 34, Issue 1, May 1992, Pages 84-85 | ||||
| A comparative analysis of the topic areas of computer science, software engineering, and information systems Journal of Systems and Software, Volume 19, Issue 3, November 1992, Pages 277-289 Robert L. Glass | ||||
| Readers' corner: The role of experiments in computer science Journal of Systems and Software, Volume 30, Issues 1-2, July-August 1995, Pages 161-163 Peter Fletcher | ||||
| Evolutionary algorithms in engineering and computer science:
Recent advances in genetic algorithms, evolution strategies,
evolutionary programming, genetic programming and industrial
applications : Edited by K. Miettinen, P. Neittaanmäki, M. M. Mäkelä
and J. Périaux. John Wiley & Sons, Ltd., Chicester. (1999). £60.00 Computers & Mathematics with Applications, Volume 38, Issues 11-12, December 1999, Page 282 | ||||
| Cognitive, motivation, and affective processes associated with computer-related performance: a path analysis Computers in Human Behavior, Volume 16, Issue 2, 31 March 2000, Pages 199-222 E. J. Rozell, W. L. Gardner III | ||||
| Modeling, simulation and visualization of brain aneurysms : Walter J. Karplus, Computer Science Department, UCLA, Los Angeles, CA 90095, USA Mathematical Social Sciences, Volume 30, Issue 3, December 1995, Pages 325-326 | ||||
| Cryptographic
key distribution and authentication protocols for secure group
communication : A.C.M. Hutchison and K. Bauknecht, Department of Computer Science, University of Zurich, Switzerland Computers & Security, Volume 15, Issue 5, 1996, Page 396 | ||||
| Computer art graphics integration of art and science Learning and Instruction, Volume 7, Issue 1, March 1997, Pages 65-86 Anna Ursyn | ||||
| Soft science and technology meets cognitive science and human-computer interaction for cooperation Advances in Human Factors/Ergonomics, Volume 20, Part 1, 1995, Pages 199-204 J. Long, H. Inoue, T. Kato, N. Miyake, T. Green, M. Harrison, E. Pollitzer | ||||
| Non-parametric identification of causal effects, or structural modeling without equations : Judea Pearl, Department of Computer Science, UCLA, Los Angeles, CA 90024, USA Mathematical Social Sciences, Volume 30, Issue 1, August 1995, Pages 99-100 | ||||
| Learning ergonomics by conducting projects: The case of students in computer science and telecommunications Safety Science, Volume 23, Issues 2-3, July-August 1996, Pages 173-174 Annie Lafferrerie | ||||
| Computer applications in the biomolecular sciences. Part 1: molecular modelling Biochemical Education, Volume 26, Issue 2, April 1998, Pages 103-110 Clare E. Sansom, Christopher A. Smith | ||||
| A first course in computer science at the University of Zurich Education and Computing, Volume 7, Issues 1-2, 1991, Pages 87-95 Helmut Schauer | ||||
| Internetwork access control using public key certificates : H. Park and R. Chow, Computer and Information Sciences and Engineering Department, University of Florida, Gainesville, FL Computers & Security, Volume 15, Issue 5, 1996, Page 394 | ||||
| Computer applications to materials science and engineering emphasized on the Japanese point of view Computational Materials Science, Volume 2, Issue 1, January 1994, Pages 103-110 Masao Doyama | ||||
| Reminiscences of the editor of the Kansas Geological Survey Computer Contributions, 1966–1970 & a byte Computers & Geosciences, Volume 25, Issue 4, May 1999, Pages 321-334 Dan F. Merriam | ||||
| The educational effectiveness of computer-based instruction Computers & Geosciences, Volume 26, Issue 6, 1 July 2000, Pages 677-682 Carl E. Renshaw, Holly A. Taylor | ||||
| Logic of computation : Nato ASI Series. Series F: Computer and Systems Sciences, Volume 157. Edited by Helmut Schwichtenberg. Springer-Verlag, Heidelberg, Germany. (1997). 396 pages. $99.00 Computers & Mathematics with Applications, Volume 35, Issue 9, May 1998, Page 140 | ||||
| The relationship of attitudes to computer utilization: New evidence from a developing nation Computers in Human Behavior, Volume 14, Issue 1, January 1998, Pages 23-42 Muhammad A. Al-Khaldi, Ibrahim M. Al-Jabri | ||||
| How should fitts' law be applied to human-computer interaction? Interacting with Computers, Volume 4, Issue 3, December 1992, Pages 291-313 Douglas J Gillan, Kritina Holden, Susan Adam, Marianne Rudisill, Laura Magee | ||||
| Computer modelling in the environmental sciences : D.G. Farmer and M.J. Rycroft, Clarendon Press, Oxford, 1991. 379 pp., UK£45, ISBN 0-19-853394-2 Mathematics and Computers in Simulation, Volume 33, Issue 2, August 1991, Page 183 W.F.A. | ||||
| Computer graphics curricula in the visual arts Computers & Graphics, Volume 24, Issue 6, December 2000, Pages 919-923 Dena Elisabeth Eber | ||||
| The J. Otto Lottes Health sciences library and the microcomputer learning laboratory Computer Methods and Programs in Biomedicine, Volume 44, Issues 3-4, September 1994, Pages 193-199 Dean Schmidt, Joyce A. Mitchell | ||||
| 310,626 articles found for: pub-date > 1990 and pub-date < 2001 and computer science | previous page < results 1 - 100 > |
RSS Feed |
|
|
|




